Valery Glivenko
https://en.wikipedia.org/wiki/Valery_Glivenko
#Glivenkoの定理